| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 558118 | ||
| Algorithmic Foundations of Data Science | Übung | 558120 | Do 12:30-14:00 IPC Hörsaal (2400|U101) (×15) | |||
| Algorithmic Foundations of Data Science | Vorlesung | 558119 | Di 16:30-18:00 AH I (2350|028) (×11) Mi 08:30-10:00 AH I (2350|028) (×13) | |||
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | 540573 | ||
| Formale Methoden für Steuerungssoftware (Übung) | Fach-/Modulprüfung | 542461 | ||||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 558278 | Mo 10:30-12:00 3220|259 (×14) Di 10:30-12:00 3220|259 (×13) | |||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 544594 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 544576 | ||
| Introduction to Model Checking | Übung | 536600 | Fr 14:30-16:00 AH III (2350|314.1) (×11) | |||
| Introduction to Model Checking | Vorlesung | 537573 | Di 10:00-11:30 AH VI (2356|051) (×1) Mi 12:30-14:00 AH III (2350|314.1) (×10) Do 09:00-11:30 AH VI (2356|051) (×1) Do 10:30-12:00 AH I (2350|028) (×12) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 541500 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 537540 | Mo 09:15-13:30 Großer B-IT Raum (2356|053.2) (×1) Mi 08:30-10:00 AH IV (2354|030) (×13) Do 10:30-12:00 AH V (2356|050) (×13) Fr 12:30-13:15 5056 (2356|056) (×12) | |||
| Theory of Distributed Systems | Theory of Distributed Systems | Fach-/Modulprüfung | 6 | 575640 |